Issue2199.agda:16,9-11
Not in scope:
  Id at Issue2199.agda:16,9-11
when scope checking Id
